#ifdef __KERNEL__

#include <asm/io.h>

#endif /* __KERNEL__ */

#include "paging_api.h"

/*
 * pse = paging struct entry
 * pse36 - peging structure extension \intel
 */

/*
 * 32bit paging
 */









#ifdef __KERNEL__

void *get_first_paging_struct(void)
{
  return phys_to_virt ((read_cr3() >> 5) << 5);
}

#endif /* __KERNEL__ */
